Nuprl Definition : ma-v
0,22
postcript
pdf
M
.V(
k
) == Valtype(1of(2of(
M
));
k
)
latex
Definitions
Valtype(
da
;
k
)
,
1of(
t
)
,
2of(
t
)
FDL editor aliases
ma-v
origin